void get_learner_request(int sd, short event, void *arg);
void look4highest(int start_index, int end_index, int wanted_index);
void acceptor_phase_recognizer(int sd, short event, void * arg);
void execute_phase_2_b(paxos_msg *accept_msgm);
